1. A formalization of set theory without variables
Author: Tarski, Alfred.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
2. A formalization of set theory without variables
Author: Tarski, Alfred
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
T37
1987
3. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
4. Between logic and intuition :
Author: edited by Gila Sher, Richard Tieszen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
Classification :
QA9
.
A5
B489
2000
5. Collected papers, Selections. 6891
Author: Tarski, Alfred.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics
Classification :
QA
3
.
T372
1986
6. Cylindric algebras
Author: Henkin,Leon
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Cylindric algebras
Classification :
QA
9
.
H415
7. Cylindric algebras
Author: Henkin, Leon
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Cylindric algebras
Classification :
QA
9
.
H415
8. Cylindric algebras
Author: Henkin, Leon.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Cylindric algebras
Classification :
QA
9
.
H415
9. From the act of judging to the sentence :the problem of truth bearers from Bolzano to Tarski
Author: Rojszczak, Artur.
Library: Library of Mofid University (Qom)
Subject: ، Bolzano, Bernard,1871-8481,، Tarski, Alfred,، Brentano, Franz,8381-7191,، Twardowski, Kazimierz,6681-8391,، Truth,، Knowledge, Theory of,، Ontology
Classification :
BD171
.
R65
2005
10. Gaming the vote :
Author: William Poundstone.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Elections-- United States.,Game theory.,Politics, Practical-- United States.,Voting-- United States.,United States, Politics and government., 0
Classification :
JK1976
.
P68
2008
11. Intriduction to logic and to the methodology of deductive sciendes
Author: / By Alfred Tarski
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - Philosophy,Arithmetic - Foundations
Classification :
510
.
1
Ta-I
12. Introduction to logic and the methodology of deductive sciences
Author: Tarski, Alfred
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: philosophy ، Mathematics,Foundations ، Arithmetic
Classification :
QA
9
.
T28
1965
13. Introduction to logic and to the methodology of deductive sciences
Author: Tarski, Alfred
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Mathematics -- Philosophy,، Arithmetic -- Foundations
Classification :
QA
9
.
T27E3713
1965
14. Introduction to logic and to the methodology of deductive sciences
Author: / [Translated by Olaf Helmer
Library: Library of Islamic Parliament (Tehran)
Subject:
Classification :
QA9
.
T28
1965
15. Introduction to logic and to the methodology of deductive sciences
Author: Alfred Tarski؛Translated by Olaf Helmer
Library: Library of Faculty of Management of Tehran University (Tehran)
Subject: Mathematics - philosophy
16. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
Author: \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
Classification :
QA9
.
T28
17. Logic , Methodology and philosophy of science : proceeding of the 1960 international congress
Author: /edited by Ernest Nagel , PAtrik Suppes , Alfred Tarski.
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject:
18. Logic, methodology and philosophy of science; proceedings of the 1960 International Congress
Author: Nagel, Ernest
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Science-- Philosophy
Classification :
Q
175
.
N2
19. Logic, semantics, metamathematics
Author: Tarski, Alfred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC
135
.
T35
20. Logic, semantics, metamathematics :
Author: by Alfred Tarski ; translated by J.H. Woodger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
Classification :
BC135
.
T35
1983
